#0x30FE=
PLATFORMID=12572

PLATFORMOS=vxworks
MEMBASEADDR=0x1900
RESTARTSTART=0x50000
MEMISOSTART=0x9C430

ROMBASEADDR=0xFF810000


PLFLAGS=-DMEMBASEADDR=$(MEMBASEADDR) -DMEMISOSTART=$(MEMISOSTART) -DMEMISOSIZE=$(MEMISOSIZE)
PLFLAGS+=-DRESTARTSTART=$(RESTARTSTART)
